/***************************************************************************************** 
*                                     TinyRtos51 
*                                The Real-Time Kernel 
*                              Copyright(c) 2024 fanxsp
*                         SPDX-License-Identifier: APACHE-2.0
*       This software is subject to an open source license and is distributed by fanxsp,
*       pursuant to the terms of the Apache License.
******************************************************************************************/
/***************************************************************************************** 
* 		中断服务程序模板
* Author: fanxsp 
* Revision: 1.00
* Date: 2024-04-07
* 
******************************************************************************************/
/* 中断函数模板 */
/* Large Reentrant 必须跟踪中断嵌套 用于切换中断时的large reentrant栈 */
#if OSENABLE_REENTRANT_LARGE
#pragma disable
#endif
void ISR_xxx interrupt xxx
{
#if OSENABLE_REENTRANT_LARGE
	OSEnterInt() ;
#endif
...
...
#if OSENABLE_REENTRANT_LARGE
	OSExitInt() ;
#endif
}